Preliminary Feedback #5
Conversation
|
Well received! We will get back to you soon about the feedback. |
|
To the last question -- yes images are welcome! |
topics/w6-live-programming.md
Outdated
| @@ -1,11 +1,70 @@ | |||
| # W6 - Live Programming | |||
There was a problem hiding this comment.
The blog post should introduce the topic of "live programming" before discussing the specific tool, SnipPy. The focus should be on explaining live programming to the reader, with SnipPy presented as an example rather than the main subject.
To improve the structure, consider organizing the post around these key points:
- What is live programming?
- What are the state-of-art applications in live programming?
- What challenges exist in live programming?
- How does SnipPy address these challenges?
- What are other challenges or limitations that still remain?
- What can be a potential direction to solve these challenges?
topics/w6-live-programming.md
Outdated
|
|
||
| A promising step in this direction is LEAP, a tool that integrates LLM-based code synthesis with live programming. LEAP generates multiple code completions for a given problem, allowing users to preview the options. Upon selection, LEAP displays the chosen code with corresponding projection boxes based on sample inputs, which visualize the program state. Unlike SnipPy, LEAP primarily uses projection boxes for code verification rather than problem specification. This shift aligns better with the strengths of LLMs, which can reason about prior code context and high-level problem requirements. | ||
|
|
||
| In conclusion, SnipPy demonstrates the potential of integrating live programming with programming by example, while its limitations reveal opportunities for more advanced synthesis techniques to enhance developer tools. |
There was a problem hiding this comment.
The current discussion on program synthesis is solid but lacks depth beyond stating that LLMs can improve synthesis accuracy.
Also, try to reflect the limitation of SnipPy within the context of live programming. Why is liveness particularly valuable in this domain? Could the constant feedback and interactivity become a distraction for programmers, especially in tasks requiring deep focus? A critical reflection on these aspects would provide a more interesting perspective.
topics/w6-live-programming.md
Outdated
|
|
||
| Building upon this snippy now integrates programming by example into projection boxes. On a new line of code, the user can provide input/output pairs into a projection box and the tool will try to synthesize a matching expression. | ||
|
|
||
| The inner workings of the synthesizer are quite easy to understand. It has an abstract grammar that |
There was a problem hiding this comment.
The focus on the synthesizer feels overemphasized and takes attention away from the main topic of live programming.
Perhaps realign the discussion, making the synthesizer a secondary element that enables the design of live programming.
BILLXZY1215
force-pushed
the
main
branch
2 times, most recently
from
f0153b8 to
e106008
Compare
Hi, here is my first draft of the blogpost.
I would appreciate some feedback on it.
One question: How should images within the markdown be handled, if it is even allowed to include them.
Kind regards,
Philipp